home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 1.iso / ARGONET / PD / PROGRAMMING / LCLINT2.SPK / lib / lsi / lslinit
Text File  |  1996-09-04  |  901b  |  43 lines
  1. \comment Standard Larch Shared Language (LSL) init file
  2.  
  3. commentSym  %
  4.  
  5. idChar        '
  6. opChar        ~!#$&?@|
  7. singleChar  ;
  8.  
  9. \comment   for versions of lsl before 3.1, add [ and ] to the
  10. \comment   openSym and closeSym lists:
  11. openSym     { \< \langle
  12. closeSym    } \> \rangle
  13. selectSym   .
  14.  
  15. simpleId    \bot \top
  16.  
  17. synonym        \and    /\
  18. synonym        \or        \/
  19. synonym        \implies    =>
  20. synonym        \not    not
  21. synonym        \not    ~
  22. synonym        \eq        =
  23. synonym        \neq    ~=
  24. synonym        \arrow    ->
  25. synonym        \marker    __
  26. synonym        \equals    ==
  27. synonym     \forall     forall
  28. synonym     \eqsep      ;
  29.  
  30. synonym     |-          \postcat
  31. synonym     -|          \pretcat
  32. synonym        |-        \vdash
  33. synonym        -|        \dashv
  34. synonym        \leq    <=
  35. synonym     \geq    >=
  36. synonym        \cap    \I
  37. synonym     \cup    \U
  38. synonym     \diamond    \rel
  39. synonym        \sqcap    \lub
  40. synonym        \sqcup    \glb
  41.  
  42. synonym     Bool        bool
  43. synonym     Int         int